\chapter{Combinators}

They came before lambda.

Completeness of combinators.

More or less as before; stuff about using them as an implementation machine
code.
